HighContrast: Update paned styling

Adapt to the new element names.

diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss
index acefe926d7174f96f09726857266cc1c6e66358a..1f94c4c3f09ec157233b7be202ece2ba3841e997 100644 (file)
--- a/gtk/theme/HighContrast/_common.scss
+++ b/gtk/theme/HighContrast/_common.scss
@@ -2278,35 +2278,34 @@ GtkPlacesSidebar.sidebar {
  *********/
 
 
-GtkPaned {
+paned {
   // This is actually the invisible area of the paned separator, not a margin...
   margin: 0 8px 8px 0; //drag area of the separator
   &:dir(rtl) {
     margin-right: 0;
     margin-left: 8px;
   }
-}
-
-.pane-separator {
-  //FIXME abusing a background-image to get rid of the handle decoration
-  //I'd like something better...
-  background-image: linear-gradient(to bottom, $borders_color);
-  &:backdrop {
-    background-image: linear-gradient(to bottom, $backdrop_borders_color);
+  separator {
+    //FIXME abusing a background-image to get rid of the handle decoration
+    //I'd like something better...
+    background-image: linear-gradient(to bottom, $borders_color);
+    &:backdrop {
+      background-image: linear-gradient(to bottom, $backdrop_borders_color);
+    }
   }
 }
 
-GtkPaned.wide { // this is for the paned with wide separator
+paned.wide { // this is for the paned with wide separator
   -GtkPaned-handle-size: 5; // wider separator here
   margin: 0; // no need of the invisible drag area so, reset margin
-  .pane-separator {
+  separator {
     background-color: transparent;
     border-style: none solid;
     border-color: $borders_color;
     border-width: 1px;
   }
-  &.vertical .pane-separator { border-style: solid none;}
-  .pane-separator:backdrop { border-color: $backdrop_borders_color; }
+  &.vertical separator { border-style: solid none;}
+  separator:backdrop { border-color: $backdrop_borders_color; }
 }
 
 /**************

diff --git a/gtk/theme/HighContrast/gtk.css b/gtk/theme/HighContrast/gtk.css
index ab979505bc8014e49fa210ccd9182b778218e3cc..78ef00b919268328ce902d5819afea55c71d9c4f 100644 (file)
--- a/gtk/theme/HighContrast/gtk.css
+++ b/gtk/theme/HighContrast/gtk.css
@@ -2450,28 +2450,31 @@ GtkPlacesSidebar.sidebar .view {
 /*********
  * Paned *
  *********/
-GtkPaned {
+paned {
   margin: 0 8px 8px 0; }
-  GtkPaned:dir(rtl) {
+  paned:dir(rtl) {
     margin-right: 0;
     margin-left: 8px; }
-
-.pane-separator {
-  background-image: linear-gradient(to bottom, gray); }
-  .pane-separator:backdrop {
-    background-image: linear-gradient(to bottom, #8d8d8d); }
-
-GtkPaned.wide {
+  paned separator, paned GtkPlacesSidebar.sidebar .view separator, GtkPlacesSidebar.sidebar .view paned separator,
+  paned GtkPlacesSidebar.sidebar .view separator:backdrop,
+  GtkPlacesSidebar.sidebar .view paned separator:backdrop {
+    background-image: linear-gradient(to bottom, gray); }
+    paned separator:backdrop, paned GtkPlacesSidebar.sidebar .view separator:backdrop, GtkPlacesSidebar.sidebar .view paned separator:backdrop {
+      background-image: linear-gradient(to bottom, #8d8d8d); }
+
+paned.wide {
   -GtkPaned-handle-size: 5;
   margin: 0; }
-  GtkPaned.wide .pane-separator {
+  paned.wide separator, paned.wide GtkPlacesSidebar.sidebar .view separator, GtkPlacesSidebar.sidebar .view paned.wide separator {
     background-color: transparent;
     border-style: none solid;
     border-color: gray;
     border-width: 1px; }
-  GtkPaned.wide.vertical .pane-separator {
+  paned.wide.vertical separator,
+  paned.wide.vertical GtkPlacesSidebar.sidebar .view separator:backdrop,
+  GtkPlacesSidebar.sidebar .view paned.wide.vertical separator:backdrop {
     border-style: solid none; }
-  GtkPaned.wide .pane-separator:backdrop {
+  paned.wide separator:backdrop {
     border-color: #8d8d8d; }
 
 /**************